judgmentally equal - pogi-log

judgmentally equal

#Fleeting_Notes

judgmentally equal

$ \Gamma \vdash A \ \dot{=} \ B \ type

Aは文脈$ \Gamma 中の(well-formedな)型(type)

AとBは文脈$ \Gamma 中のjudgmentally equal型

確認用

Q. judgmentally equal

調査用

Google.icon judgmentally equal(日)

Google.icon Judgmentally equal(英)

Wikipedia.icon

judgmentally equal - Wikipedia(日)

judgmentally equal(検索) - Wikipedia(日)

Wikipedia.icon

Judgmentally equal - Wikipedia(英)

Judgmentally equal(検索) - Wikipedia(英)